A Methodology for Mending Dynamic Constraint Violations in Cyber Physical Systems By Generating Model Transformations
نویسنده
چکیده
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 CHAPTER
منابع مشابه
A Methodology for Unified Assessment of Physical and Geographical Dependencies of Wide Area Measurement Systems in Smart Grids
Wide Area Measurement Systems (WAMS) enable real time monitoring and control of smart grids by combining digital measurement devices, communication and control systems. As WAMS consist of various infrastructures, they imply complex dependencies among their underlying systems and components of different types, such as cyber, physical and geographical dependencies. Although several works exist in...
متن کاملAn Effective Attack-Resilient Kalman Filter-Based Approach for Dynamic State Estimation of Synchronous Machine
Kalman filtering has been widely considered for dynamic state estimation in smart grids. Despite its unique merits, the Kalman Filter (KF)-based dynamic state estimation can be undesirably influenced by cyber adversarial attacks that can potentially be launched against the communication links in the Cyber-Physical System (CPS). To enhance the security of KF-based state estimation, in this paper...
متن کاملDynamics and Motion Control of Wheeled Robotic Systems
Mobile robotic systems, which include a mobile platform with one or more manipulators, mounted at specific locations on the mobile base, are of great interest in a number of applications. In this paper, after thorough kinematic studies on the platform and manipulator motions, a systematic methodology will be presented to obtain the dynamic equations for such systems without violating the base n...
متن کاملDynamics and Motion Control of Wheeled Robotic Systems
Mobile robotic systems, which include a mobile platform with one or more manipulators, mounted at specific locations on the mobile base, are of great interest in a number of applications. In this paper, after thorough kinematic studies on the platform and manipulator motions, a systematic methodology will be presented to obtain the dynamic equations for such systems without violating the base n...
متن کاملA Hybrid Model of Connectors in Cyber-Physical Systems
Compositional coordination models and languages play an important role in cyber-physical systems (CPSs). In this paper, we introduce a formal model for describing hybrid behaviors of connectors in CPSs. We extend the constraint automata model, which is used as the semantic model for the exogenous channelbased coordination language Reo, to capture the dynamic behavior of connectors in CPSs where...
متن کامل